Increase device timeout to 10 seconds, as restarting a DHCP server takes a few
authoremellor@leeni.uk.xensource.com <emellor@leeni.uk.xensource.com>
Tue, 29 Nov 2005 15:00:01 +0000 (15:00 +0000)
committeremellor@leeni.uk.xensource.com <emellor@leeni.uk.xensource.com>
Tue, 29 Nov 2005 15:00:01 +0000 (15:00 +0000)
commite01408a26253d72660390e8f386ff729568b2334
tree606bfe1a0ebeb04eb139835df8fede2ad66609cb
parent1f2b7910d7953fdb5ec52d334c1146413af26737
Increase device timeout to 10 seconds, as restarting a DHCP server takes a few
seconds, so we need to allow for that.

Signed-off-by: Ewan Mellor <ewan@xensource.com>
tools/python/xen/xend/server/DevController.py